HO-HO-HO Sect.

Spaceward ho!

On 12 April 1961, the russian cosmonaut yuri gagarin (1934–1968) became the first human to leave the confines of Earth and ascend into space. Almost 480 individuals have followed him and, since 31 October 2000, humans have been in space without interruption. this is an enormous technological and scientific achievement; nevertheless, our species has only scratched the surface of what could be ca...

Ho, Maloney, & Landy (2006)

We ran a control experiment in this study with the same experimental design as Ho, Landy, & Maloney (2006): we varied the angle between the punctate light source and the surface, but the viewer’s viewpoint was always fronto-parallel. The results shown in the following tables and figure demonstrate that observers in this study exhibited the same roughness judgment biases as observers in our prev...

(HO)RPO Revisited

The notion of computability closure has been introduced for proving the termination of the combination of higher-order rewriting and beta-reduction. It is also used for strengthening the higher-order recursive path ordering. In the present paper, we study in more details the relations between the computability closure and the (higher-order) recursive path ordering. We show that the first-order ...

Ad Ho Wireless Networking

The Ho - Zhao Problem

Given a poset P , the set Γ(P ) of all Scott closed sets ordered by inclusion forms a complete lattice. A subcategory C of Posd (the category of posets and Scott-continuous maps) is said to be Γ-faithful if for any posets P and Q in C, Γ(P ) ∼= Γ(Q) implies P ∼= Q. It is known that the category of all continuous dcpos and the category of bounded complete dcpos are Γ-faithful, while Posd is not....